\begin{tabbing}
ma{-}prob{-}da($M$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=$\forall$$b$:Id.\+
\\[0ex]ma{-}prob{-}da{-}dom($M$;$b$)
\\[0ex]\& (\=($\uparrow$$b$ $\in$ dom($M$.prob))\+
\\[0ex]$\Rightarrow$ \=(($M$.da(locl($b$)) $\subseteq$r p{-}outcome(ma{-}prob($M$;$b$)))\+
\\[0ex]\& (p{-}outcome(ma{-}prob($M$;$b$)) $\subseteq$r $M$.da(locl($b$)))))
\-\-\-
\end{tabbing}